An Implementation of Basic Argumentation Components (Demonstration)
نویسندگان
چکیده
The current implementation provides a demonstration of a number of basic argumentation components that can be applied in the context of multi-agent systems. These components include algorithms for calculating argumentation semantics, as well as for determining the justification status of the arguments and providing explanation in the form of formal discussion games. Furthermore, the current demonstrator also includes the first implementation we know of regarding argument-based judgment aggregation theory.
منابع مشابه
Refining SCC decomposition in argumentation semantics: a first investigation
In the recently proposed SCC-recursive approach to argumentation semantics, the strongly connected components of an argumentation framework are used as the basic elements for the incremental construction of extensions. In this paper we argue that a finer decomposition, considering some suitably defined internal substructures of strongly connected components, called autonomous fragments, may be ...
متن کاملتوسعه چارچوب رهنگاری جهت مدیریت دانش سازمانی : تحلیل محتوای کیفی
Effective knowledge management (KM) is essential to almost any organization. Regardless of its size or subject matter, an organization should use the knowledge it possesses in the most effective way possible. But the implementation of KM is still challenging. One of the solutions for this challenge which mentioned in KM literature, is knowledge management roadmapping. Roadmaps provide a graphic...
متن کاملArgTrust: Decision Making with Information from Sources of Varying Trustworthiness (Demonstration)
This work aims to support decision making in situations where sources of information are of varying trustworthiness. Formal argumentation is used to capture the relationships between such information sources and conclusions drawn from them. A prototype implementation is demonstrated, applied to a problem from military decision making.
متن کاملHow do you make software components argue? An exploration of argumentative reasoning within autonomous software agents
Autonomous software components, more commonly referred to as software agents, are often cited as a key enabling technology for the next-generation of online services. However, in these services, consisting of large-scale open multi-agent systems, classical forms of reasoning (such as provided by traditional monotonic logics) will be unsuitable. In this work we discuss our vision for a non-monot...
متن کاملDebate Browser an Argumentation Tool for Metaedit+ Environment
Advanced information system development comprises constant alternation between designing artifacts and argumenting the designs. This paper describes a method for capturing the argumentation and a tool support for it in a CASE environment. The basic components of the design rationale method behind the tool are questions, answers and arguments, which are connected to each other by specific links ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011